Alberto Zanardo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Axiomatization of ‘Peircean’ branching-time logic

Alberto Zanardo

Journal:

Year:

1990

Language:

english

File:

PDF, 716 KB

english, 1990

2

Quantification over Sets of Possible Worlds in Branching-Time Semantics

Alberto Zanardo

Journal:

Year:

2006

Language:

english

File:

PDF, 270 KB

english, 2006

3

Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic

Alberto Zanardo

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 747 KB

english, 1996

4

Indistinguishability, Choices, and Logics of Agency

Zanardo, Alberto

Journal:

Year:

2013

Language:

english

File:

PDF, 292 KB

english, 2013

5

The Logic of Time and Modality || Moment/History Duality in Prior's Logics of Branching-Time

Alberto Zanardo

Journal:

Year:

2006

Language:

english

File:

PDF, 2.12 MB

english, 2006

6

Thematic Issue on Modal Logic || Undivided and Indistinguishable Histories in Branching-Time Logics

Alberto Zanardo

Journal:

Journal of Logic, Language and Information

Year:

1998

Language:

english

File:

PDF, 1.78 MB

english, 1998

7

Ways of Worlds 1: On Possible Worlds and Related Notions || Quantification over Sets of Possible Worlds in Branching-Time Semantics

Alberto Zanardo

Journal:

Year:

2006

Language:

english

File:

PDF, 2.30 MB

english, 2006

8

Axiomatization of genetics 1. Biological meaning

Martino Rizzotti, Alberto Zanardo

Journal:

Journal of Theoretical Biology

Year:

1986

Language:

english

File:

PDF, 813 KB

english, 1986

9

Axiomatization of genetics 2. Formal development

Alberto Zanardo, Martino Rizzotti

Journal:

Journal of Theoretical Biology

Year:

1986

Language:

english

File:

PDF, 525 KB

english, 1986

10

A non-compactness phenomenon in logics with hyperintensional predication

Cinzia Bonotto, Alberto Zanardo

Journal:

Journal of Philosophical Logic

Year:

1989

Language:

english

File:

PDF, 846 KB

english, 1989

11

A complete deductive-system for since-until branching-time logic

Alberto Zanardo

Journal:

Journal of Philosophical Logic

Year:

1991

Language:

english

File:

PDF, 861 KB

english, 1991

12

Completeness of a Branching-Time Logic with Possible Choices

Roberto Ciuni, Alberto Zanardo

Journal:

Year:

2010

Language:

english

File:

PDF, 397 KB

english, 2010

13

Moment/History Duality in Prior’s Logics of Branching-Time

Alberto Zanardo

Journal:

Year:

2006

Language:

english

File:

PDF, 188 KB

english, 2006

14

A Gabbay-Rule Free Axiomatization ofT×WValidity

MariaConcetta Di Maio, Alberto Zanardo

Journal:

Journal of Philosophical Logic

Year:

1998

Language:

english

File:

PDF, 437 KB

english, 1998

15

Undivided and Indistinguishable Histories in Branching-Time Logics

Alberto Zanardo

Journal:

Journal of Logic, Language and Information

Year:

1998

Language:

english

File:

PDF, 239 KB

english, 1998

16

Topological Aspects of Branching-Time Semantics

Michela Sabbadin, Alberto Zanardo

Journal:

Year:

2003

File:

PDF, 2.48 MB

2003

17

Higher homocysteine concentrations in women undergoing caesarean section under general anesthesia

Vincenzo Zanardo, Gabriella Caroni, Alberto Burlina

Journal:

Thrombosis Research

Year:

2003

Language:

english

File:

PDF, 137 KB

english, 2003

18

Lysosomal enzymes in preterm infants with bronchopulmonary dysplasia: a potential diagnostic marker

Giancarlo Goi, Chiara Bairati, Luca Massaccesi, Adriana Lombardo, Luisa Bonafè, Vincenzo Zanardo, Alberto Burlina

Journal:

Clinica Chimica Acta

Year:

1998

Language:

english

File:

PDF, 93 KB

english, 1998

19

Fibring: Completeness Preservation

Alberto Zanardo, Amilcar Sernadas and Cristina Sernadas

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 521 KB

english, 2001

20

Book Reviews

Bäuerle, Rainer, Da Costa, N.C.A., Bueno, O., De Lorenzo, Javier, Zanardo, Alberto, Perreiah, Alan R, Misiuna, K., Sinaceur, H., Hailperin, T., Bringsjord, S., Varzi, A.C., Wiliamson, T., Smith, Barry

Journal:

History and Philosophy of Logic

Year:

1996

Language:

english

File:

PDF, 1.36 MB

english, 1996

21

Plausible reasoning: a first-order approach

Badaloni, Silvana, Zanardo, Alberto

Journal:

Journal of Applied Non-Classical Logics

Year:

1996

Language:

english

File:

PDF, 2.56 MB

english, 1996

22

“Silent” patent ductus arteriosus and bronchopulmonary dysplasia in low birth weight infants

Zanardo, Vincenzo, Trevisanuto, Daniele, Dani, Carlo, Milanesi, Ornella, Secchieri, Silvia, Guglielmi, Alberto, Brentegani, Lorenzo, Cantarutti, Felice

Journal:

Journal of Perinatal Medicine

Year:

1995

Language:

english

File:

PDF, 966 KB

english, 1995

23

Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL

ZANARDO, ALBERTO, CARMO, JOSÉ

Journal:

Journal of Logic and Computation

Year:

1993

Language:

english

File:

PDF, 1.10 MB

english, 1993

24

Oxygen Saturation in Premature Neonates with Bronchopulmonary Dysplasia in a Hammock

Zanardo, Vincenzo, Trevisanuto, Daniele, Dani, Carlo, Bottos, Michele, Guglielmi, Alberto, Cantarutti, Felice

Journal:

Year:

1995

File:

PDF, 1.54 MB

1995

25

Axiomatization of 'Peircean' Branching-Time Logic

Alberto Zanardo

Journal:

Year:

1990

Language:

english

File:

PDF, 1.43 MB

english, 1990

26

A Gabbay-Rule Free Axiomatization of T x W Validity

Maria Concetta Di Maio and Alberto Zanardo

Journal:

Journal of Philosophical Logic

Year:

1998

Language:

english

File:

PDF, 4.97 MB

english, 1998

27

A Finite Axiomatization of the Set of Strongly Valid Ockhamist Formulas

Alberto Zanardo

Journal:

Journal of Philosophical Logic

Year:

1985

Language:

english

File:

PDF, 1.68 MB

english, 1985

28

A Complete Deductive-System for since-until Branching-Time Logic

Alberto Zanardo

Journal:

Journal of Philosophical Logic

Year:

1991

Language:

english

File:

PDF, 1.37 MB

english, 1991

29

Topological Aspects of Branching-Time Semantics

Michela Sabbadin and Alberto Zanardo

Journal:

Year:

2003

Language:

english

File:

PDF, 1.62 MB

english, 2003

30

Completeness of a Branching-Time Logic with Possible Choices

Roberto Ciuni and Alberto Zanardo

Journal:

Year:

2010

Language:

english

File:

PDF, 2.25 MB

english, 2010

31

Methylxanthines Increase Renal Calcium Excretion in Preterm Infants

Zanardo, Vincenzo, Dani, Carlo, Trevisanuto, Daniele, Meneghetti, Stefano, Guglielmi, Alberto, Zacchello, Graziella, Cantarutti, Felice

Journal:

Year:

1995

File:

PDF, 1.95 MB

1995

32

A Constrained Convex Approach to Modal Design Optimization of Vibrating Systems

Richiedei, Dario, Trevisani, Alberto, Zanardo, Gabriele

Journal:

Journal of Mechanical Design

Year:

2011

Language:

english

File:

PDF, 237 KB

english, 2011

33

Solar Fuels by Heterogeneous Photocatalysis: From Understanding Chemical Bases to Process Development

Olivo, Alberto, Zanardo, Danny, Ghedini, Elena, Menegazzo, Federica, Signoretto, Michela

Journal:

ChemEngineering

Year:

2018

Language:

english

File:

PDF, 1.84 MB

english, 2018

34

First-Order Definability of Transition Structures

Rumberg, Antje, Zanardo, Alberto

Journal:

Journal of Logic, Language and Information

Year:

2018

Language:

english

File:

PDF, 719 KB

english, 2018

35

Systematic study of TiO 2 /ZnO mixed metal oxides for CO 2 photoreduction

Thompson, Warren A., Olivo, Alberto, Zanardo, Danny, Cruciani, Giuseppe, Menegazzo, Federica, Signoretto, Michela, Maroto-Valer, M. Mercedes

Journal:

Year:

2019

File:

PDF, 1.89 MB

2019

36

Assessment of myocardial extracellular volume on body computed tomography in breast cancer patients treated with anthracyclines

Monti, Caterina Beatrice, Zanardo, Moreno, Bosetti, Tommaso, AlÃ¬, Marco, De Benedictis, Elena, Luporini, Alberto, Secchi, Francesco, Sardanelli, Francesco

Journal:

Quantitative Imaging in Medicine and Surgery

Year:

2020

File:

PDF, 633 KB

2020